The Epistemic Logic Behind the Game Description Language
نویسندگان
چکیده
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL, a variant of Datalog with function symbols and a few known keywords. In its latest version GDL allows to describe nondeterministic games with any number of players who may have imperfect, asymmetric information. We analyse the epistemic structure and expressiveness of this language in terms of epistemic modal logic and present two main results: (1) The operational semantics of GDL entails that the situation at any stage of a game can be characterised by a multi-agent epistemic (i.e., S5-) model; (2) GDL is sufficiently expressive to model any situation that can be described by a (finite) multiagent epistemic model.
منابع مشابه
Logical-Epistemic Foundations of General Game Descriptions
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the general Game Description Language (GDL), a variant of Datalog with function symbols that uses a few game-specific keywords. A recent extension of basic GDL allows the description of nondeterministic games with any number of players who may have inc...
متن کاملStrategic and Epistemic Reasoning for the Game Description Language GDL-II
The game description language GDL has been developed as a logic-based formalism for representing the rules of arbitrary games in general game playing. A recent language extension called GDL-II allows to describe nondeterministic games with any number of players who may have incomplete, asymmetric information. In this paper, we show how the well-known Alternating-time Temporal Epistemic Logic (A...
متن کاملA Survey of Dynamic Logics
Dynamic logic has created a paradigm shift in logic. In this work, we provide a survey of some major dynamic logics: propositional dynamic logic, game logic, dynamic epistemic logic and logic of questions. The unifying idea behind presenting these logics is to observe how the “dynamic” aspect of the logic is represented in each formalism.
متن کاملThe epistemic logic of IF games
We analyze IF/hyper-classical games by bringing together two viewpoints from Jaakko Hintikka’s work: game semantics, and epistemic logic. In the process, we link up between logic and game theory. 1 Logic meets games Game theory and logic met in the 1950s — and Jaakko Hintikka has been a pioneer ever since in introducing game-theoretic viewpoints into logic, from his early basic evaluation games...
متن کاملEpistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games
This paper proposes a logical framework for representing and reasoning about imperfect information games. We first extend the game description language (GDL) with the standard epistemic operators and provide it with a semantics based on the epistemic state transition model. We then demonstrate how to use the language to represent the rules of an imperfect information game and formalize its epis...
متن کامل